de Bruijn notation - определение. Что такое de Bruijn notation
Diclib.com
Словарь ChatGPT
Введите слово или словосочетание на любом языке 👆
Язык:

Перевод и анализ слов искусственным интеллектом ChatGPT

На этой странице Вы можете получить подробный анализ слова или словосочетания, произведенный с помощью лучшей на сегодняшний день технологии искусственного интеллекта:

  • как употребляется слово
  • частота употребления
  • используется оно чаще в устной или письменной речи
  • варианты перевода слова
  • примеры употребления (несколько фраз с переводом)
  • этимология

Что (кто) такое de Bruijn notation - определение

ALTERNATIVE POSTFIX NOTATION FOR LAMBDA CALCULUS
De bruijn notation

De Bruijn notation         
<language> A variation of lambda notation for specifying functions using numbers instead of names to refer to {formal parameters}. A reference to a formal parameter is a number which gives the number of lambdas (written as here) between the reference and the lambda which binds the parameter. E.g. the function f . x . f x would be written . . 1 0. The 0 refers to the innermost lambda, the 1 to the next etc. The chief advantage of this notation is that it avoids the possibility of name capture and removes the need for {alpha conversion}. [N.G. De Bruijn, "Lambda Calculus Notation with Nameless Dummies: A Tool for Automatic Formula Manipulation, with Application to the Church-Rosser Theorem", Indag Math. 34, pp 381-392]. (2003-06-15)
De Bruijn notation         
In mathematical logic, the De Bruijn notation is a syntax for terms in the λ calculus invented by the Dutch mathematician Nicolaas Govert de Bruijn. It can be seen as a reversal of the usual syntax for the λ calculus where the argument in an application is placed next to its corresponding binder in the function instead of after the latter's body.
Hans de Bruijn         
DUTCH POLITICAL SCIENTIST AND PROFESSOR OF PUBLIC ADMINISTRATION AT DELFT UNIVERSITY OF TECHNOLOGY, KNOWN BY HIS WORK IN THE FIELD OF PROCESS MANAGEMENT
Johan Adam de Bruijn; De Bruijn, Hans; Bruijn, Johan Adam
Johan Adam (Hans) de Bruijn (born 1 September 1962) is a Dutch political scientist and Professor of Public Administration at Delft University of Technology, known by his work in the field of process management.Peter Hupe (2007).

Википедия

De Bruijn notation

In mathematical logic, the De Bruijn notation is a syntax for terms in the λ calculus invented by the Dutch mathematician Nicolaas Govert de Bruijn. It can be seen as a reversal of the usual syntax for the λ calculus where the argument in an application is placed next to its corresponding binder in the function instead of after the latter's body.